#include<stdio.h>
void main(){
	int a=1000,b;
	while(a>=b){
		a--;
		if(a%7==0)
		printf("%d\t",a);
	}
}
